window: Remove popovers on dispose() before unsetting focus.
authorCarlos Garnacho <carlosg@gnome.org>
Mon, 13 Jan 2014 11:33:33 +0000 (12:33 +0100)
committerCarlos Garnacho <carlosg@gnome.org>
Wed, 22 Jan 2014 16:10:06 +0000 (17:10 +0100)
commita3b3b4621c716097212f774eaf3202c1948bd5bf
treea31359029eff8960affc8bddfbde25da1bed73a1
parentd105a3a36a98d8de1f69e407a10ccdff2804def2
window: Remove popovers on dispose() before unsetting focus.

The popovers may return keyboard grabs to previous widgets, so if
called after unsetting the focus, the window may be left with a
dangling GtkWidget that would cause crash at later dispose() calls.
gtk/gtkwindow.c